Workspace support for Kailua.
While the type checker itself processes files organically, starting from a start file, many Kailua projects are organized as a workspace---source files and an optional configuration. This crate abstracts the common procedure for determining such configurations.